PyDigger - unearthing stuff about Python


NameVersionSummarydate
model-checker 0.6.9 A hyperintensional theorem prover for modal, counterfactual conditional, constitutive explanatory, and extensional operators. 2024-12-31 22:16:12
hourdayweektotal
5212846175276916
Elapsed time: 1.91772s